#include <stdio.h>
#include "libcgo.h"
#include "printer.h"

void mycallback(int v) 
{
    printf("callback main %d\n", v);
}

int main222222() {


    
    setCallBack(mycallback);
    RunCallback();

    printPiJSON();
    printf("hello world!\n");
    printf("%s\n", EncodeF64("PI", 3.1415926));
    return 0;
}